|
In mathematics, a sober space is a topological space such that every irreducible closed subset of ''X'' is the closure of exactly one point of ''X'': that is, this closed subset has a unique generic point. ==Properties and examples== Any Hausdorff (T2) space is sober (the only irreducible subsets being points), and all sober spaces are Kolmogorov (T0), and both implications are strict. Sobriety is not comparable to the T1 condition: an example of a T1 space which is not sober is an infinite set with the cofinite topology, the whole space being an irreducible closed subset with no generic point. Moreover T2 is stronger than T1 ''and'' sober, i.e., while every T2 space is at once T1 and sober, there exist spaces that are simultaneously T1 and sober, but not T2. One such example is the following: let X be the set of real numbers, with a new point p adjoined; the open sets being all real open sets, and all cofinite sets containing p. Sobriety of ''X'' is precisely a condition that forces the lattice of open subsets of ''X'' to determine ''X'' up to homeomorphism, which is relevant to pointless topology. Sobriety makes the specialization preorder a directed complete partial order. The prime spectrum Spec(''R'') of a commutative ring ''R'' with the Zariski topology is a compact sober T0 space.〔 In fact, every spectral space (i.e. a compact sober space for which the collection of compact open subsets is closed under finite intersections and forms a base for the topology) is homeomorphic to Spec(''R'') for some commutative ring ''R''. This is a theorem of Melvin Hochster. More generally, the underlying topological space of any scheme is a sober space. The subset of Spec(''R'') consisting only of the maximal ideals, where ''R'' is a commutative ring, is not sober in general. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「sober space」の詳細全文を読む スポンサード リンク
|